Weighting for Godot: Learning euristics for GSAT
نویسنده
چکیده
We investigate an improvement to GSAT which associates a weight with each clause. GSAT moves to assignments maximizing the weight of satisfied clauses and this weight is incremented when GSAT moves to an assignment in which this clause is unsatisfied. We present results showing that this algorithm and its variants outperform one of the best known modifications of GSAT to date using two metrics: number of solved problems on a single try, and minimum mean number of flips to solve a test suite of problems. Content Areas: Constraint Satisfaction, Search
منابع مشابه
Old Resolution Meets Modern SLS
Recent work on Stochastic Local Search (SLS) for the SAT and CSP domains has shown the importance of a dynamic (non-markovian) strategy for weighting clauses in order to escape from local minima. In this paper, we improve the performance of two best contemprorary clause weighting solvers, PAWS and SAPS, by integrating a propositional resolution procedure. We also extend the work to AdaptNovelty...
متن کاملTraces of Greek Mythology in Samuel Beckett’s Waiting for Godot
This study addresses Samuel Beckett’s most celebrated play, Waiting for Godot, in an effort to analyze its characters from a novel perspective. Since Greek mythology has been undisputedly influential on Western culture and literature, the researcher attempts to investigate a connection between Greek mythology and the play. This study aims to reveal that even after more than fifty seven years of...
متن کاملLearning Short-Term Weights for GSAT
We investigate an improvement to GSAT which associates a weight with each clause. We change the objective function so that GSAT moves to assignments maximizing the weight of satis ed clauses, and each clause's weight is changed when GSAT moves to an assignment in which this clause is unsatis ed. We present results showing that this version of GSAT has good performance when clause weights are re...
متن کاملGodot Syndrome in an Elderly Patient with Pseudodementia
Godot syndrome [1] is a phenomenon in which a person has anxiety toward an upcoming event and repeatedly asks about it. This syndrome is categorized as a variant of anxiety and a psychological symptom of dementia [2]. The anxiety symptom in demented patients is considered as resulting from decreased cognitive (specifi cally memory) abilities, the inability to channel remaining thinking capaciti...
متن کاملGSAT Enhanced with Learning Automata and Multilevel Paradigm
A large number of problems that occur in knowledgerepresentation, learning, very large scale integration technology (VLSI-design), and other areas of artificial intelligence, are essentially satisfiability problems. The satisfiability problem refers to the task of finding a satisfying assignment that makes a Boolean expression evaluate to True. The growing need for more efficient and scalable a...
متن کامل